$\forall$$a$, $b$, $c$:$\mathbb{Z}$. imin($a$;$b$)+$c$ = imin($a$+$c$;$b$+$c$)